Error Diagnosis in Equivalence Checking of High Performance Microprocessors
نویسندگان
چکیده
منابع مشابه
Error Diagnosis in Equivalence Checking of High Performance Microprocessors
We describe techniques for diagnosing errors in formal equivalence checking of RTL and transistor level models of high performance microprocessors at Freescale Semiconductor Inc. We use Symbolic Trajectory based Evalaution (STE) for combinational equivalence checking. STE accurately captures transistor level behaviors. We use simulation based error diagnosis techniques and present a seamless in...
متن کاملA Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. Validation of such processor architectures is one of the most complex and expensive tasks in the current Systems-on-Chip design process. A significant bottleneck in the validation of such systems is the lack of a golde...
متن کاملOvercoming Hard-Faults in High-Performance Microprocessors
Overcoming Hard-Faults in High-Performance Microprocessors by Amin Ansari
متن کاملSurvey of High Performance RISC Microprocessors
The goal of this report is to survey a number of leading RISC processors which are deployed in oo the shelf scientiic workstations, and in some cases massively parallel multi-computers.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2007
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2006.12.026